<?php
/*
 * Wrong comment style.
 */
